OCL and Model Driven Engineering

نویسندگان

  • Jean Bézivin
  • Thomas Baar
  • Tracy Gardner
  • Martin Gogolla
  • Reiner Hähnle
  • Heinrich Hußmann
  • Octavian Patrascoiu
  • Peter H. Schmitt
  • Jos Warmer
چکیده

Precise modeling is essential to the success of the OMG’s Model Driven Architecture initiative. At the modeling level (M1) OCL allows for the precision needed to write executable models. Can OCL be extended to become a full high-level executable language with side-effects? At the meta-level (M2), queries, views and transformations are subjects that will be vital to the success of the OMG’s Model Driven Architecture initiative. Will OCL 2.0 become an essential part of the Queries/Views/Transformations standard and what will be its application areas in industry? Can the features of OCL 2.0 be used in the Model Driven Engineering (MDE) approach? This workshop aims at bringing together people from academia that are expected to report on inspiring ideas for innovative application scenarios and tools, and industrial practitioners, which are expected to provide statements on their view of the future of OCL in the context of MDE.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

HOL-OCL: A Formal Proof Environment for UML/OCL

We present the theorem proving environment HOL-OCL that is integrated in a Model-driven Engineering (MDE) framework. HOL-OCL allows to reason over UML class models annotated with OCL specifications. Thus, HOL-OCL strengthens a crucial part of the UML to an objectoriented formal method. HOL-OCL provides several derived proof calculi that allow for formal derivations establishing the validity of ...

متن کامل

A Formal Proof Environment for UML / OCL

We present the theorem proving environment HOL-OCL that is integrated in a Model-driven Engineering (MDE) framework. HOL-OCL allows to reason over UML class models annotated with OCL specifications. Thus, HOL-OCL strengthens a crucial part of the UML to an objectoriented formal method. HOL-OCL provides several derived proof calculi that allow for formal derivations establishing the validity of ...

متن کامل

Using an OCL Impact Analysis Algorithm for View-Based Textual Modelling

The Object Constraint Language (OCL) has become a vital part of many frameworks, tools and languages within model-driven engineering. One such application of OCL is the use for describing rules in concrete syntax definitions. Within the textual modeling framework FURCAS, OCL is extensively used for the definition of lookup and attribution rules. Based on these rules the model which is described...

متن کامل

Incremental Evaluation of OCL Invariants in the Essential MOF Object Model

The management of metamodels is supported by runtime environments that enforce the well-formedness of (meta-)model instances. Beyond this basic functionality, additional capabilities are needed in order to successfully establish a toolchain for Model-Driven Software Engineering. We focus on two such capabilities: transactions and efficient evaluation of invariants, not in the usual context of d...

متن کامل

Declarative model constraints using OCL

A concept called Model Driven Architecture was launched in 2001 by the Object Management Group as a way of supporting Model Driven Engineering. The concept of using models to aid in the design of computer software is not new, however the use of models as a primary design artifact, and tools to automatically generate structural code from them is a newer approach. A typical problem however has be...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2004